Dynamic Meta Modeling
نویسنده
چکیده
syntax, 8abstract transitive closure, 66action node, 139, 209Action Semanticsby Mosses, 40in UML, 41Activity Diagramactivity graphs, 132control structures, 133deficiencies, 125difference to Petri nets, 131evaluation semantics, 135fork node problem, 125history of, 207interpretation by GROOVE, 187offer semantics, 136role in UML, 208token flow, 127traverse-to-completion semantics,129Advanced Language User, 21attributed graph, 67big-step ruleformalization, 100formulation of, 166introduction, 90Bremen approach, 29carpenter deadlock example, 191central buffer node, 214CheckVML, 176comparison to GROOVE, 177code generation, 24COMMA meta model, 15compilation semantics, 28concrete invocations, 100concrete semantics, 23concrete syntax, 8concrete transitive closure, 66conservative extensionsdiscussion of, 120motivation, 111restrictions for, 115control flow, 214control node, 139, 210core semantics, 31dangling edges, 71data store node, 214decision node, 210denotational meta modelingdynamic extensions, 35introduction, 32usage in DMM, 105usage in OCL, 34denotational semantics, 28derivation, 73derivation sequence, 80discrete behavior, 13DMM, see Dynamic Meta ModelingDMM interpreter, 175requirements for, 194DMM packagedefinition, 113guidelines for, 165import, 113merge, 113DMM rulecorrespondence to operations, 108difference to Communication Dia-gram, 117formulation of, 168translation to GROOVE rules,182DMM specificationefficiency of, 158modularity of, 158semantic correctness, 155syntactic correctness, 155understandability of, 156DMM system, 100315
منابع مشابه
Neural Network Meta-Modeling of Steam Assisted Gravity Drainage Oil Recovery Processes
Production of highly viscous tar sand bitumen using Steam Assisted Gravity Drainage (SAGD) with a pair of horizontal wells has advantages over conventional steam flooding. This paper explores the use of Artificial Neural Networks (ANNs) as an alternative to the traditional SAGD simulation approach. Feed forward, multi-layered neural network meta-models are trained through the Back-...
متن کاملMulti-Level Meta-Modeling for Enabling Dynamic Subtyping for Industrial Automation
Modern industrial automation relies on service oriented concepts of Internet of Things (IoT) device modeling in order to provide a flexible and extendable environment for service meta-repository. However, state-of-the-art meta-modeling techniques prefer design-time modeling, which results in a heavy usage of class sometimes unnecessary static subtyping. Although this approach benefits from clea...
متن کاملA Flexible Workflow Meta-model Supporting Dynamic Modification
Traditional workflow models lack of the necessary flexibility for the complex and dynamic characters of contemporary business processes and thus they limit the application of workflow technology in wider areas. This paper introduces a flexible workflow meta-model which is capable of tackling the problems related to business events based synchronization, multiple activity instances, service type...
متن کاملA meta-model for computer executable dynamic clinical safety checklists
BACKGROUND Safety checklist is a type of cognitive tool enforcing short term memory of medical workers with the purpose of reducing medical errors caused by overlook and ignorance. To facilitate the daily use of safety checklists, computerized systems embedded in the clinical workflow and adapted to patient-context are increasingly developed. However, the current hard-coded approach of implemen...
متن کاملAnalysis of UML Activities Using Dynamic Meta Modeling
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly understandable yet precise semantic models which in particular allow for a formal analysis. In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis tech...
متن کاملA new stochastic location-allocation emergency medical services healthcare system model during major disaster
From the most important issues in the design of large logistics network in times of crisis are providing a timely quick reaction for treating of injured people and the rapid distribution of medicines and medical equipment. In this paper, a multi-objective model is presented that aims to determine the location of transfer points and hospitals to provide timely quick reaction for treating injured...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006